A Canonical Model of the Region Connection Calculus
نویسنده
چکیده
Although the computational properties of the Region Connection Calculus RCC-8 are well studied, reasoning with RCC-8 entails several representational problems. This includes the problem of representing arbitrary spatial regions in a computational framework, leading to the problem of generating a realization of a consistent set of RCC-8 constraints. A further problem is that RCC-8 performs reasoning about topological space, which does not have a particular dimension. Most applications of spatial reasoning, however, deal with twoor threedimensional space. Therefore, a consistent set of RCC-8 constraints might not be realizable within the desired dimension. In this paper we address these problems and develop a canonical model of RCC-8 which allows a simple representation of regions with respect to a set of RCC-8 constraints, and, further, enables us to generate realizations in any dimension d ≥ 1. For threeand higher-dimensional space this can also be done for internally connected regions.
منابع مشابه
Canonical Analysis of the Relationship between Components of Professional Ethics and Dimensions of Social Responsibility
Background: Today, professional ethics and social responsibility play an important role in organizations. This study aimed canonical analysis of the relationship between components of professional ethics and social responsibility dimensions among the first high school teachers in the Naghadeh province. Method: This study, in terms of purpose is application, and in terms of data collec...
متن کاملA Necessary Relation Algebra for Mereotopology
We show that the basic operations of the relational calculus on a “contact relation” generate at least 25 relations in any model of the Region Connection Calculus [33], and we show how to interpret these relations in the collection of regular open sets in the two-dimensional Euclidean plane.
متن کاملMultidimensional Region Connection Calculus
The best way to support commonsense reasoning over geographic data is via qualitative spatial reasoning over spatial objects and their relations. The Region Connection Calculus (RCC) (Randell et al. 1992) family is one of the well-known logical languages for formalizing topological relationships that describe commonsense spatial knowledge. In this paper, we modify and extend RCC-8 to propose a ...
متن کاملA Nonlinear Creep-damage Constitutive Model of Mudstone Based on the Fractional Calculus Theory
During the flood development in an oil field, the creep characteristic of mudstone is one of the important factors causing casing damage. In this study, based on the theory of fractional order differential and taking into account the creep damage evolution rules, a fractional nonlinear creep-damage model is proposed to reflect the instantaneous deformation in loading processes and the accelerat...
متن کاملA relation - algebraic approach to the region connection calculus
We explore the relation–algebraic aspects of the region connection calculus (RCC) of Randell et al. (1992a). In particular, we present a refinement of the RCC8 table which shows that the axioms provide for more relations than are listed in the present table. We also show that each RCC model leads to a Boolean algebra. Finally, we prove that a refined version of the RCC5 table has as models all ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Journal of Applied Non-Classical Logics
دوره 12 شماره
صفحات -
تاریخ انتشار 1998